#include "led.h"

#include "stm32f4xx_rcc.h"

void led_init()
{

  GPIO_InitTypeDef GPIO_Init_Struct;
  RCC_AHB1PeriphClockCmd(RCC_AHB1Periph_GPIOC, ENABLE);
  GPIO_Init_Struct.GPIO_Mode = GPIO_Mode_OUT;
  GPIO_Init_Struct.GPIO_OType = GPIO_OType_PP;
  GPIO_Init_Struct.GPIO_Pin = GPIO_Pin_13;
  GPIO_Init_Struct.GPIO_PuPd = GPIO_PuPd_UP;
  GPIO_Init_Struct.GPIO_Speed = GPIO_High_Speed;

  GPIO_Init(GPIOC, &GPIO_Init_Struct);
  GPIO_SetBits(GPIOC, GPIO_Pin_13);
}